perm filename BROOKS.PLN[ESS,JMC] blob sn#121392 filedate 1974-09-24 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Brooks, martin
C00003 ENDMK
CāŠ—;
Brooks, martin

	1. Plans to comprehensive in January.  

	2. Reading and research in theorem proving a la Geiser under me.

	3. Will prove reverse correct using this method, and also
try it in first order logic.

	4. Now paid by Colby.

	5. Will read papers on mtc and learn fol.

	6. Will give me a paper saying what he intends to do.

	7. Will copy me some papers.